f: (Str, Str) -> (Str, Str)
f = \x -> x

f (1, 2)